Analysis and Applications of the XDI model
نویسندگان
چکیده
It is not always straightforward to implement a network that is robust enough to be functionally independent of communication delay. In order to specify and verify so called Delay Insensitive networks, numerous models and formalisms have been developed. In this paper we analyze one of the most expressive models. We show how based on rewrite rules we can compute, rather than invent parts of a network. We implemented these computations in a tool. We also show how healthiness, finite execution models and a distributive parallel composition cannot coexist.
منابع مشابه
Analyzing Specifications for Delay-Insensitive Circuits
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays incurred by the interface. XDI specifications capture restrictions on the communication between circuit and environment, treating both parties equally. They can be visualized as state graphs where each arrow is labeled by...
متن کاملCross-Device Interaction Definition, Taxonomy and Applications
This contribution proposes a definition and taxonomy of the often used term cross-device interaction. Despite of technical progress, systems and interfaces that integrate into the environment are still the subject of intensive research. We still live in a world where devices reside in the foreground and present themselves and their interaction capabilities to the user. At the same time, computi...
متن کاملAn XDI-Based Approach to Represent and Exchange Data Between Federated Clouds
Cloud providers need to manage and control their assets identifying, retrieving, and exchanging data about their virtual resources in different operating contexts. These tasks are not trivial at all and this leads cloud providers to design proprietary solutions for the management of their virtual resources and services. In this paper, considering IaaS clouds, we discuss an approach based on XDI...
متن کاملXDI Trust Information: Trustability protocol for validating distributed personal information
Trust of information has always been a critical issue in large distributed environments. With the rapid and recent development of online communities and social networks, it has been evident that the Web will rely more and more on user-edited information. As a consequence trust in the correctness of data is falling dramatically and no general solution has been proposed in order to consider that ...
متن کاملAn Analysis of A Fishing Model with Nonlinear Harvesting Function
In this study, considering the importance of how to exploit renewable natural resources, we analyzea shing model with nonlinear harvesting function in which the players at the equilibrium pointdo a static game with complete information that, according to the calculations, will cause a wasteof energy for both players and so the selection of cooperative strategies along with the...
متن کامل